package model;

/**
 * Represents an integer by wrapping an {@code int}.
 * 
 * @author Henrik Wall
 * @author Rudolf Schmidt
 * @author Eugen Nemirowski
 */
public class Int extends Rat {
	/**
	 * Constructor for {@link Int}.
	 * 
	 * @param value
	 *            the wrapped {@code int}
	 */
	public Int(final int value) {
		super(value);
	}
	@Override
	public Integer getValue() {
		return super.getValue().intValue();
	}
}
